منابع مشابه
Logique mathématique et linguistique formelle
Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini
متن کاملJean-charles Faugère Chapitre 1 Introduction Générale
We present an efficient algorithm for the transformation of a Gröbner basis of a zero–dimensional ideal with respect to any given ordering into a Gröbner basis with respect to any other ordering. This algorithm is polynomial in the degree of the ideal. In particular the lexicographical Gröbner basis can be obtained by applying this algorithm after a total degree Gröbner basis computation: it is...
متن کاملRésumé Des Chapitres Chapitre 1. Introduction Générale
Semantic peer-to-peer systems are fully decentralized overlay networks of people or machines (peers) sharing and searching varied resources (documents, videos, photos) based on their semantic annotations using ontologies. In such systems, no user imposes to others his ontology but logical mappings between ontologies make possible the creation of a network of people in which personalized semanti...
متن کاملPremiers pas vers une ontologie générale des programmes informatiques
s (ex. : 20 grammes, 15 minutes). Particular Endurant Perdurant Quality Abstract Physical Object NonPhysical Object Mental Object Agentive Social Object Event Stative Achievement Accomplishment State Process Collection Action
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: École pratique des hautes études. Section des sciences historiques et philologiques. Livret-Annuaire
سال: 2011
ISSN: 0292-0980,1969-6310
DOI: 10.4000/ashp.1101